Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
381	The Constrained-Monad Problem Neil Sculthorpe Add to Reading List Source URL: www.ittc.ku.edu Language: English - Date: 2013-09-23 14:25:29 Computer programming Adjoint functors Data types Type theory Monad Type class Map Arrow List Declarative programming Functional programming Software engineering
382	✂✁✄ ✂☎✝✆✟✞✡✠☞☛✍✌✎✞✑✏✓✒✕✔✗✖ ✘✚✙✜✛✢✠✡✘✤✣✥✠☞☛✤✦✧✦✄✒★✁✩✣✫✪✬☛✚✁✩✣✮✭✯☛✰✣✮✔✱✆✳✲ ✶✴ ✵✳✷✹✸✻✺✗✼✾✽❀✿❁✽☞✷✹✷❂✼ ❃❅❄❂❆❅❇✟❈❉✽✡❊●❋✗✽✡✵✳✺✳❍■❇✟✽✹❈✚❏●✽☞❑▼▲✰❇☞◆❖◗✼❘❇ Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:27:46 Logic in computer science Adjoint functors Denotational semantics Monad Categorical logic Universal property Semantics of programming languages Structure Model theory Category theory Mathematics Theoretical computer science
383	On Categories of Monoids, Comonoids, and Bimonoids Hans–E. Porst∗ Add to Reading List Source URL: www.math.uni-bremen.de Language: English - Date: 2008-06-09 05:49:04 Monoidal categories Adjoint functors Functors Monoid Limit Initial and terminal objects Monad Equivalence of categories PRO Category theory Algebra Abstract algebra
384	Extensible Effects An Alternative to Monad Transformers Oleg Kiselyov Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-07-28 04:02:02 Adjoint functors Computing Monad transformer Monad Continuation ALGOL 68 Software engineering Functional programming Computer programming
385	JFP 18 (4): 423–436, [removed]c 2008 Cambridge University Press Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-01-11 05:53:26 Adjoint functors Functional programming Monad Map Functional languages Eval Functor Limit Coproduct Computing Software engineering Declarative programming
386	Journal of Functional Analysis 167, [removed]Article ID jfan[removed], available online at http:ÂÂwww.idealibrary.com on Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2009-11-18 13:17:16 Functors Pushout Universal property Adjoint functors Limit Diagram Pullback Inverse limit Product Category theory Abstract algebra Mathematics
387	Reprints in Theory and Applications of Categories, No. 3, [removed]ABELIAN CATEGORIES Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2004-01-20 10:12:15 Functors Homological algebra Adjoint functors Algebraic topology Abelian category Functor Category of abelian groups Natural transformation Equivalence of categories Category theory Abstract algebra Algebra
388	Reprints in Theory and Applications of Categories, No. 16, 2006, pp. 1–16. ADJOINTNESS IN FOUNDATIONS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2006-10-30 16:11:22 Functors Adjoint functors Universal property Equivalence of categories Natural transformation Topos Forgetful functor Sheaf Cartesian closed category Category theory Abstract algebra Mathematics
389	Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2006-02-24 14:27:12 Functors Sheaf theory Adjoint functors Cartesian closed category Topos Exponential object Hom functor Yoneda lemma Diagonal functor Category theory Mathematics Abstract algebra
390	On monadic parametricity of second-order functionals Andrej Bauer1 , Martin Hofmann2 , and Aleksandr Karbyshev3 Add to Reading List Source URL: www2.in.tum.de Language: English - Date: 2013-01-08 11:29:00 Computing Monad Kleisli category Map Adjoint functors Software engineering Computer programming

UPDATE